Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2015_05_03_Csystemfr..> | 2016-01-30 19:08 | 621K | PDF document file | |
2015_08_16_Csystemfr..> | 2015-08-18 01:46 | 377K | PDF document file | |
2015_09_11_Csystemfr..> | 2017-02-04 17:52 | 442K | PDF document file | |
2015_11_20_Csystemfr..> | 2017-02-04 17:55 | 454K | PDF document file | |
2016_01_13_Csystemfr..> | 2017-02-04 17:56 | 457K | PDF document file | |
2016_01_21_Csystemfr..> | 2017-02-06 07:22 | 394K | PDF document file | |
2016_03_Csystemfroma..> | 2017-02-04 17:57 | 329K | PDF document file | |
2017_04_18_for_Weave..> | 2017-04-18 11:44 | 530K | PDF document file | |
2017_05_03_Csystemfr..> | 2017-05-03 10:44 | 566K | PDF document file | |
2017_05_11_Csystemfr..> | 2017-05-12 06:49 | 567K | PDF document file | |
Csystemfromamonad_cu..> | 2017-05-25 10:11 | 683K | PDF document file | |
Csystemfromamonad_su..> | 2017-05-25 08:42 | 240K | PDF document file | |
Logical_framework_ki..> | 2017-03-11 15:22 | 131K | PDF document file | |
Monadofsigwithbindin..> | 2017-02-04 17:58 | 201K | PDF document file | |
Monadsofexpressions_..> | 2015-11-14 06:55 | 232K | PDF document file | |
monadsofexpressions.pdf | 2015-11-22 11:31 | 196K | PDF document file | |
2015_08_16_Csystemfr..> | 2015-08-16 04:23 | 5.8K | TeX bibliography items -- bibtex output, latex input | |
2016_01_21_Csystemfr..> | 2017-02-06 06:26 | 5.4K | TeX bibliography items -- bibtex output, latex input | |
2017_04_18_for_Weave..> | 2017-04-18 11:44 | 8.7K | TeX bibliography items -- bibtex output, latex input | |
2017_05_03_Csystemfr..> | 2017-05-03 10:43 | 9.9K | TeX bibliography items -- bibtex output, latex input | |
2017_05_11_Csystemfr..> | 2017-05-12 06:49 | 10K | TeX bibliography items -- bibtex output, latex input | |
Csystemfromamonad_cu..> | 2017-05-01 06:37 | 10K | TeX bibliography items -- bibtex output, latex input | |
monadsofexpressions.bbl | 2015-11-22 11:20 | 1.0K | TeX bibliography items -- bibtex output, latex input | |
2015_08_16_Csystemfr..> | 2015-08-16 03:49 | 97K | TeX source file | |
2015_09_11_Csystemfr..> | 2015-09-11 05:15 | 162K | TeX source file | |
2015_11_20_Csystemfr..> | 2015-11-18 12:54 | 137K | TeX source file | |
2016_01_13_Csystemfr..> | 2016-01-13 09:25 | 136K | TeX source file | |
2016_01_21_Csystemfr..> | 2017-02-06 07:22 | 93K | TeX source file | |
2016_03_Csystemfroma..> | 2017-01-23 08:39 | 89K | TeX source file | |
2017_04_18_for_Weave..> | 2017-04-18 11:44 | 94K | TeX source file | |
2017_05_03_Csystemfr..> | 2017-05-03 10:43 | 127K | TeX source file | |
2017_05_11_Csystemfr..> | 2017-05-12 06:50 | 127K | TeX source file | |
Csystemfromamonad_cu..> | 2017-05-25 11:13 | 195K | TeX source file | |
Csystemfromamonad_su..> | 2017-05-25 08:43 | 43K | TeX source file | |
Csystemoftermmodels_..> | 2016-01-13 09:11 | 136K | TeX source file | |
Logical_framework_ki..> | 2017-03-11 19:33 | 6.7K | TeX source file | |
Monadofsigwithbindin..> | 2014-07-16 03:37 | 17K | TeX source file | |
Monadsofexpressions_..> | 2014-06-30 08:40 | 29K | TeX source file | |
monadsofexpressions.tex | 2015-11-23 10:20 | 14K | TeX source file | |